
  timer_start ();
  